workspacesView: Lower scroll timeout

Looks like 250ms is too high, lower it to 150ms.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 942b874498e733d84ca90a5994182e5fa88668de..09155c5ae1576a475239810634540c6f606cf7f4 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -8,6 +8,7 @@ const SwipeTracker = imports.ui.swipeTracker;
 const Workspace = imports.ui.workspace;
 
 var WORKSPACE_SWITCH_TIME = 250;
+var SCROLL_TIMEOUT_TIME = 150;
 
 var AnimationType = {
     ZOOM: 0,
@@ -815,7 +816,7 @@ class WorkspacesDisplay extends St.Widget {
 
         this._canScroll = false;
         this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
-            WORKSPACE_SWITCH_TIME, () => {
+            SCROLL_TIMEOUT_TIME, () => {
                 this._canScroll = true;
                 this._scrollTimeoutId = 0;
                 return GLib.SOURCE_REMOVE;